Korpus Języka Polskiego PWN

Autentyczne przykłady użycia w piśmie i mowie zgromadzone w Korpusie

... Tarski, Alfred i jego żona Marysia. Zwany "Einsteinem Zachodniego Brzegu", logik matematyczny, profesor Uniwersytetu Kalifornijskiego w Berkeley. Sława jego w dziedzinie, do...
... związku z tym można je badać za pomocą precyzyjnych metod logiki matematycznej. Podejście takie pozwala też na rozważanie różnych poziomów konstruktywności i...
... kole filozoficznem wykład o najnowszych wynikach szkoły warszawskiej na polu logiki matematycznej. Dr. Knaster miał odczyty z dziedziny topologji w seminarjum prof...
... berkelejskim domu były portrety jego i Marysi. Podejrzewam, że postacie logików matematycznych w niektórych sztukach Witkacego były wzorowane na Tarskim.
Tarski lubował...

O korpusie